Optimal. Leaf size=223 \[ \frac{\left (a b B \left (b^2-6 a c\right )-2 A \left (6 a^2 c^2-6 a b^2 c+b^4\right )\right ) \tanh ^{-1}\left (\frac{b+2 c x^2}{\sqrt{b^2-4 a c}}\right )}{2 a^3 \left (b^2-4 a c\right )^{3/2}}-\frac{-6 a A c-a b B+2 A b^2}{2 a^2 x^2 \left (b^2-4 a c\right )}+\frac{(2 A b-a B) \log \left (a+b x^2+c x^4\right )}{4 a^3}-\frac{\log (x) (2 A b-a B)}{a^3}-\frac{-A \left (b^2-2 a c\right )+c x^2 (-(A b-2 a B))+a b B}{2 a x^2 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.418907, antiderivative size = 223, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 7, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.28, Rules used = {1251, 822, 800, 634, 618, 206, 628} \[ \frac{\left (a b B \left (b^2-6 a c\right )-2 A \left (6 a^2 c^2-6 a b^2 c+b^4\right )\right ) \tanh ^{-1}\left (\frac{b+2 c x^2}{\sqrt{b^2-4 a c}}\right )}{2 a^3 \left (b^2-4 a c\right )^{3/2}}-\frac{-6 a A c-a b B+2 A b^2}{2 a^2 x^2 \left (b^2-4 a c\right )}+\frac{(2 A b-a B) \log \left (a+b x^2+c x^4\right )}{4 a^3}-\frac{\log (x) (2 A b-a B)}{a^3}-\frac{-A \left (b^2-2 a c\right )+c x^2 (-(A b-2 a B))+a b B}{2 a x^2 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1251
Rule 822
Rule 800
Rule 634
Rule 618
Rule 206
Rule 628
Rubi steps
\begin{align*} \int \frac{A+B x^2}{x^3 \left (a+b x^2+c x^4\right )^2} \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{A+B x}{x^2 \left (a+b x+c x^2\right )^2} \, dx,x,x^2\right )\\ &=-\frac{a b B-A \left (b^2-2 a c\right )-(A b-2 a B) c x^2}{2 a \left (b^2-4 a c\right ) x^2 \left (a+b x^2+c x^4\right )}-\frac{\operatorname{Subst}\left (\int \frac{-2 A b^2+a b B+6 a A c-2 (A b-2 a B) c x}{x^2 \left (a+b x+c x^2\right )} \, dx,x,x^2\right )}{2 a \left (b^2-4 a c\right )}\\ &=-\frac{a b B-A \left (b^2-2 a c\right )-(A b-2 a B) c x^2}{2 a \left (b^2-4 a c\right ) x^2 \left (a+b x^2+c x^4\right )}-\frac{\operatorname{Subst}\left (\int \left (\frac{-2 A b^2+a b B+6 a A c}{a x^2}+\frac{(-2 A b+a B) \left (-b^2+4 a c\right )}{a^2 x}+\frac{a b B \left (b^2-5 a c\right )-2 A \left (b^4-5 a b^2 c+3 a^2 c^2\right )-(2 A b-a B) c \left (b^2-4 a c\right ) x}{a^2 \left (a+b x+c x^2\right )}\right ) \, dx,x,x^2\right )}{2 a \left (b^2-4 a c\right )}\\ &=-\frac{2 A b^2-a b B-6 a A c}{2 a^2 \left (b^2-4 a c\right ) x^2}-\frac{a b B-A \left (b^2-2 a c\right )-(A b-2 a B) c x^2}{2 a \left (b^2-4 a c\right ) x^2 \left (a+b x^2+c x^4\right )}-\frac{(2 A b-a B) \log (x)}{a^3}-\frac{\operatorname{Subst}\left (\int \frac{a b B \left (b^2-5 a c\right )-2 A \left (b^4-5 a b^2 c+3 a^2 c^2\right )-(2 A b-a B) c \left (b^2-4 a c\right ) x}{a+b x+c x^2} \, dx,x,x^2\right )}{2 a^3 \left (b^2-4 a c\right )}\\ &=-\frac{2 A b^2-a b B-6 a A c}{2 a^2 \left (b^2-4 a c\right ) x^2}-\frac{a b B-A \left (b^2-2 a c\right )-(A b-2 a B) c x^2}{2 a \left (b^2-4 a c\right ) x^2 \left (a+b x^2+c x^4\right )}-\frac{(2 A b-a B) \log (x)}{a^3}+\frac{(2 A b-a B) \operatorname{Subst}\left (\int \frac{b+2 c x}{a+b x+c x^2} \, dx,x,x^2\right )}{4 a^3}-\frac{\left (a b B \left (b^2-6 a c\right )-2 A \left (b^4-6 a b^2 c+6 a^2 c^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{a+b x+c x^2} \, dx,x,x^2\right )}{4 a^3 \left (b^2-4 a c\right )}\\ &=-\frac{2 A b^2-a b B-6 a A c}{2 a^2 \left (b^2-4 a c\right ) x^2}-\frac{a b B-A \left (b^2-2 a c\right )-(A b-2 a B) c x^2}{2 a \left (b^2-4 a c\right ) x^2 \left (a+b x^2+c x^4\right )}-\frac{(2 A b-a B) \log (x)}{a^3}+\frac{(2 A b-a B) \log \left (a+b x^2+c x^4\right )}{4 a^3}+\frac{\left (a b B \left (b^2-6 a c\right )-2 A \left (b^4-6 a b^2 c+6 a^2 c^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{b^2-4 a c-x^2} \, dx,x,b+2 c x^2\right )}{2 a^3 \left (b^2-4 a c\right )}\\ &=-\frac{2 A b^2-a b B-6 a A c}{2 a^2 \left (b^2-4 a c\right ) x^2}-\frac{a b B-A \left (b^2-2 a c\right )-(A b-2 a B) c x^2}{2 a \left (b^2-4 a c\right ) x^2 \left (a+b x^2+c x^4\right )}+\frac{\left (a b B \left (b^2-6 a c\right )-2 A \left (b^4-6 a b^2 c+6 a^2 c^2\right )\right ) \tanh ^{-1}\left (\frac{b+2 c x^2}{\sqrt{b^2-4 a c}}\right )}{2 a^3 \left (b^2-4 a c\right )^{3/2}}-\frac{(2 A b-a B) \log (x)}{a^3}+\frac{(2 A b-a B) \log \left (a+b x^2+c x^4\right )}{4 a^3}\\ \end{align*}
Mathematica [A] time = 0.551445, size = 379, normalized size = 1.7 \[ \frac{\frac{\left (2 A \left (6 a^2 c^2+b^3 \sqrt{b^2-4 a c}-6 a b^2 c-4 a b c \sqrt{b^2-4 a c}+b^4\right )+a B \left (-b^2 \sqrt{b^2-4 a c}+4 a c \sqrt{b^2-4 a c}+6 a b c-b^3\right )\right ) \log \left (-\sqrt{b^2-4 a c}+b+2 c x^2\right )}{\left (b^2-4 a c\right )^{3/2}}+\frac{\left (2 A \left (-6 a^2 c^2+b^3 \sqrt{b^2-4 a c}+6 a b^2 c-4 a b c \sqrt{b^2-4 a c}-b^4\right )+a B \left (-b^2 \sqrt{b^2-4 a c}+4 a c \sqrt{b^2-4 a c}-6 a b c+b^3\right )\right ) \log \left (\sqrt{b^2-4 a c}+b+2 c x^2\right )}{\left (b^2-4 a c\right )^{3/2}}-\frac{2 a \left (A \left (-3 a b c-2 a c^2 x^2+b^2 c x^2+b^3\right )+a B \left (2 a c-b^2-b c x^2\right )\right )}{\left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )}+4 \log (x) (a B-2 A b)-\frac{2 a A}{x^2}}{4 a^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.023, size = 622, normalized size = 2.8 \begin{align*} -{\frac{{c}^{2}{x}^{2}A}{a \left ( c{x}^{4}+b{x}^{2}+a \right ) \left ( 4\,ac-{b}^{2} \right ) }}+{\frac{c{x}^{2}A{b}^{2}}{2\,{a}^{2} \left ( c{x}^{4}+b{x}^{2}+a \right ) \left ( 4\,ac-{b}^{2} \right ) }}-{\frac{c{x}^{2}bB}{2\,a \left ( c{x}^{4}+b{x}^{2}+a \right ) \left ( 4\,ac-{b}^{2} \right ) }}-{\frac{3\,Abc}{2\,a \left ( c{x}^{4}+b{x}^{2}+a \right ) \left ( 4\,ac-{b}^{2} \right ) }}+{\frac{A{b}^{3}}{2\,{a}^{2} \left ( c{x}^{4}+b{x}^{2}+a \right ) \left ( 4\,ac-{b}^{2} \right ) }}+{\frac{Bc}{ \left ( c{x}^{4}+b{x}^{2}+a \right ) \left ( 4\,ac-{b}^{2} \right ) }}-{\frac{{b}^{2}B}{2\,a \left ( c{x}^{4}+b{x}^{2}+a \right ) \left ( 4\,ac-{b}^{2} \right ) }}+2\,{\frac{c\ln \left ( c{x}^{4}+b{x}^{2}+a \right ) Ab}{{a}^{2} \left ( 4\,ac-{b}^{2} \right ) }}-{\frac{\ln \left ( c{x}^{4}+b{x}^{2}+a \right ) A{b}^{3}}{2\,{a}^{3} \left ( 4\,ac-{b}^{2} \right ) }}-{\frac{c\ln \left ( c{x}^{4}+b{x}^{2}+a \right ) B}{a \left ( 4\,ac-{b}^{2} \right ) }}+{\frac{\ln \left ( c{x}^{4}+b{x}^{2}+a \right ){b}^{2}B}{4\,{a}^{2} \left ( 4\,ac-{b}^{2} \right ) }}-6\,{\frac{{c}^{2}A}{a \left ( 4\,ac-{b}^{2} \right ) ^{3/2}}\arctan \left ({\frac{2\,c{x}^{2}+b}{\sqrt{4\,ac-{b}^{2}}}} \right ) }+6\,{\frac{A{b}^{2}c}{{a}^{2} \left ( 4\,ac-{b}^{2} \right ) ^{3/2}}\arctan \left ({\frac{2\,c{x}^{2}+b}{\sqrt{4\,ac-{b}^{2}}}} \right ) }-{\frac{A{b}^{4}}{{a}^{3}}\arctan \left ({(2\,c{x}^{2}+b){\frac{1}{\sqrt{4\,ac-{b}^{2}}}}} \right ) \left ( 4\,ac-{b}^{2} \right ) ^{-{\frac{3}{2}}}}-3\,{\frac{Bcb}{a \left ( 4\,ac-{b}^{2} \right ) ^{3/2}}\arctan \left ({\frac{2\,c{x}^{2}+b}{\sqrt{4\,ac-{b}^{2}}}} \right ) }+{\frac{{b}^{3}B}{2\,{a}^{2}}\arctan \left ({(2\,c{x}^{2}+b){\frac{1}{\sqrt{4\,ac-{b}^{2}}}}} \right ) \left ( 4\,ac-{b}^{2} \right ) ^{-{\frac{3}{2}}}}-{\frac{A}{2\,{a}^{2}{x}^{2}}}-2\,{\frac{\ln \left ( x \right ) Ab}{{a}^{3}}}+{\frac{\ln \left ( x \right ) B}{{a}^{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 11.263, size = 3426, normalized size = 15.36 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 19.6893, size = 338, normalized size = 1.52 \begin{align*} -\frac{{\left (B a b^{3} - 2 \, A b^{4} - 6 \, B a^{2} b c + 12 \, A a b^{2} c - 12 \, A a^{2} c^{2}\right )} \arctan \left (\frac{2 \, c x^{2} + b}{\sqrt{-b^{2} + 4 \, a c}}\right )}{2 \,{\left (a^{3} b^{2} - 4 \, a^{4} c\right )} \sqrt{-b^{2} + 4 \, a c}} + \frac{B a b c x^{4} - 2 \, A b^{2} c x^{4} + 6 \, A a c^{2} x^{4} + B a b^{2} x^{2} - 2 \, A b^{3} x^{2} - 2 \, B a^{2} c x^{2} + 7 \, A a b c x^{2} - A a b^{2} + 4 \, A a^{2} c}{2 \,{\left (c x^{6} + b x^{4} + a x^{2}\right )}{\left (a^{2} b^{2} - 4 \, a^{3} c\right )}} - \frac{{\left (B a - 2 \, A b\right )} \log \left (c x^{4} + b x^{2} + a\right )}{4 \, a^{3}} + \frac{{\left (B a - 2 \, A b\right )} \log \left (x^{2}\right )}{2 \, a^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]